Pierre de mine définition

pierre de mine

[nom] Sorte de pierre dont on se sert dans les forges pour forger le fer.
Trouvé sur https://fr.wiktionary.org/wiki/pierre_de_mine

---